David Harel
David Harel - Wikipedia